English-german dictionary. 2013.
proof-reading — checking written material, editing the print, rereading so as to correct mistakes, looking for mistakes … English contemporary dictionary
proof|read|ing — «PROOF REE dihng», noun. the act of reading printers proofs and marking errors to be corrected … Useful english dictionary
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof (play) — Infobox Play name = Proof image size = 160px writer = David Auburn characters = Catherine Robert Hal Claire setting = University of Chicago Chicago, Illinois premiere = 23 May 2000 place = Manhattan Theatre Club New York City, New York orig lang … Wikipedia
press proof — trial print made before the final printing for the purpose of proof reading … English contemporary dictionary
Probabilistically checkable proof — In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof. The algorithm… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Shortest proof game — A shortest proof game is a type of retrograde analysis chess problems. The solver must construct a game (so called proof game ), starting from the initial chess position, which ends with a given position (thus proving that that position is… … Wikipedia
The Syro-Aramaic Reading of the Koran — … Wikipedia
Uncorrected proof — The uncorrected proof is the penultimate version of a literary work or book before final publication [ [http://www.myfirsteditions.com/glossary.htm MyFirstEditions.com] ] [ [http://www.ioba.org/terms.html Independent Online Booksellers… … Wikipedia
